/* for Android, this header is intentionally left blank */